1·This paper introduces a method for propositional logic calculation.
介绍了命题逻辑演算方法。
2·Off-line, propositional logic has been compiled into some tractable target language;
离线阶段，命题理论被编译成某种易处理的目标语言；
3·In the knowledge implication propositional logic system which build on this strategy, 1.
在根据这种策略而建立的知识蕴涵命题逻辑系统中：1。
4·Symbolic logic is often divided into two branches, propositional logic and predicate logic.
符号逻辑往往分为两个分支，命题逻辑和谓词逻辑。
5·Furthermore, it presents a creditability problem about theorem proof in propositional logic.
也引申出命题逻辑定理证明的一个可信性问题。
6·Stoicism denies anything immaterial and tries to explain the world through propositional logic.
斯多噶学派否认任何非物质的，并试图通过命题逻辑来解释世界。
7·An important way for solving intelligent planning problem is translating it into propositional logic to solve.
求解智能规划问题的一个重要方法即把智能规划问题转化为命题逻辑公式求解。
8·This paper presented an automated reasoning algorithm for natural deduction system (NR) of relevance propositional logic.
给出了相干命题逻辑自然推理系统NR的自动证明算法。
9·Because perfect IF inferences donot involve modal concepts, idealized IF logic is analogous to classical propositional logic.
完美信息流推理不涉及模态概念，理想信息逻辑类似经典命题逻辑。
10·From the syntactical point of view, the concept of the syntactic truth degree of formulas is proposed in two-valued propositional logic system.
本文从语构理论入手，在经典二值命题逻辑系统中给出公式的语构真度的概念，从两个不同的角度给出语构真度的等价刻画。